• Conference Object  

      Abduction and induction for learning models of inhibition in metabolic networks 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2005)
      This paper describes the use of a mixture of abduction and induction for the temporal modelling of the effects of toxins in metabolic networks. Background knowledge is used which describes network topology and functional ...
    • Article  

      Application of abductive ILP to learning metabolic network inhibition from temporal data 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Muggleton, S. (2006)
      In this paper we use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. In general, the integration of abduction and induction is required when the following ...
    • Article  

      Modeling the effects of toxins in metabolic networks 

      Tamaddoni-Nezhad, A.; Chaleil, R.; Kakas, Antonis C.; Sternberg, M.; Nicholson, J.; Muggleton, S. (2007)
    • Conference Object  

      Modelling inhibition in metabolic pathways through abduction and induction 

      Tamaddoni-Nezhad, A.; Kakas, Antonis C.; Muggleton, S.; Pazos, F. (2004)
      In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unknown enzymes or inhibitors. We show how we can model, ...
    • Article  

      The scientific contribution of marek sergot 

      Barker, S.; Jones, A. J. I.; Kakas, Antonis C.; Kowalski, R. A.; Lomuscio, A.; Miller, R.; Muggleton, S.; Sartor, G. (2012)
      Marek Sergot's technical contributions range over different subjects. He has developed a series of novel ideas and formal methods bridging different research domains, such as artificial intelligence, computational logic, ...